📏 Linear Types

Resource Management, Use-Once Semantics, Affine Types, Memory Safety

Slip – A Lisp System in JavaScript
lisperator.net·5h·
Discuss: Hacker News
💻Programming languages
GoMem is a high-performance memory allocator library for Go
github.com·16h
🧠Memory Allocators
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·9h
🔬RaBitQ
Towards a Typology of Strange LLM Chains-of-Thought
lesswrong.com·21h
🪄Prompt Engineering
Effects in Rust (and Koka)
aloso.foo·19h·
Discuss: r/rust
🦀Rust
Three ways formally verified code can go wrong in practice
buttondown.com·1h
💻Programming languages
QUIC! Jump to User Space!
hackaday.com·3h
⚡QUIC Protocol
Looking at my Arduino
boswell.bearblog.dev·2h
🖥️Hardware Architecture
Learning Unity + C# game development — which local LLM model and settings should I use in LM Studio (CUDA)?
reddit.com·16h·
Discuss: r/LocalLLaMA
🏗️LLM Infrastructure
Operable Software
ferd.ca·5h·
Discuss: Hacker News
🌐Distributed systems
Love C, Hate C: Web Framework Memory Problems
alew.is·15h·
Discuss: Hacker News
🌿Leptos
MultiPar 1.3.3.5 Beta / 1.3.2.9
majorgeeks.com·11h
📄File Formats
(Forward) automatic implicit differentiation in Rust with num-dual 0.12.0
reddit.com·3h·
Discuss: r/rust
🎭Rust Macros
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·19h
🔧Developer tools
Experimenting with ACL2 and Claude Code
mikedodds.org·6h·
Discuss: Hacker News
💻Programming languages
Let's Write a Macro in Rust
hackeryarn.com·3h·
Discuss: Hacker News
🎭Rust Macros
Multi-Core By Default
rfleury.com·17h·
Discuss: Lobsters, Hacker News
🧵Concurrency
Size doesn't matter: Just a small number of malicious files can corrupt LLMs of any size
techxplore.com·4h
🕳LLM Vulnerabilities
Introducing Variant: A New Open Standard for Semi-Structured Data in Apache Parquet™, Delta Lake, and Apache Iceberg™
databricks.com·8h
📄File Formats
A Manifesto for the Programming Desperado
github.com·3h·
Discuss: Hacker News
🪄Prompt Engineering